...安全协议验证 [gap=899]ords :OBDDs; mu-calculus; temporal logics of knowledge; symbolic model checking; protocol verification; ...
基于1个网页-相关网页
security protocol verification 安全协议认证 ; 安全协议验证
NSPK Protocol Verification NSPK协议验证
protocol verification method 协议验证方法
Automatic Protocol Verification 协议自动化分析
protocol verification and analysis 协议验证与分析
bus interface protocol verification 总线接口协议验证
In the model, protocol verification theory is introduced into the system to make up shotcomings of protocol analyzing method.
该模型引入了协议确认模块,在进行模式匹配前对数据进行过滤。
参考来源 - 基于TCP/IP协议分析的入侵检测系统的实现·2,447,543篇论文数据,部分数据来源于NoteExpress
The security protocol verification is one of the important projects in the domain of network security.
安全协议认证是网络安全领域中重大课题之一。
In the model, protocol verification theory is introduced into the system to make up shotcomings of protocol analyzing method.
该模型引入了协议确认模块,在进行模式匹配前对数据进行过滤。
It has become more and more important that the application of theorem proving on mathematic theorem proving, protocol verification, hardware verification and software verification.
机器定理证明在数学定理证明、协议验证、软件和硬件的形式化验证等方面发挥出越来越重要的作用。
应用推荐